Set existence property for intuitionistic theories with dependent choice
نویسندگان
چکیده
منابع مشابه
Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
This paper is concerned with metamathematical properties of intuitionistic set theories with choice principles. It is proved that the disjunction property, the numerical existence property, Church’s rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory and full Intuitionistic Zermelo-Fraenkel augmented by any combination of the principles of ...
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملFixed point theories and dependent choice
In this paper we establish the proof-theoretic equivalence of (i) ATR and c
متن کاملExistence results for equilibrium problems under strong sign property
This paper concerns equilibrium problems in real metric linear spaces. Considering a modified notion of upper sign property for bifunctions, we obtain the relationship between the solution sets of the local Minty equilibrium problem and the equilibrium problem, where the technical conditions on $f$ used in the literature are relaxed. The KKM technique is used to generalize and unify some exist...
متن کاملTheories with the Independence Property
A first-order theory T has the Independence Property provided T ⊢ (Q)(Φ ⇒ Φ1 ∨ · · · ∨ Φn) implies T ⊢ (Q)(Φ ⇒ Φi) for some i whenever Φ,Φ1, . . . ,Φn are formulae of a suitable type and (Q) is any quantifier sequence. Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first order theory has the independence property for the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1983
ISSN: 0168-0072
DOI: 10.1016/0168-0072(83)90011-8